Properties in DL1